skip to main content

Explore Research Products in the NSF-PAR

  • Home
  • Search Results
  • Page 1 of 2

Search for: All records

Creators/Authors contains: "Liu, Changliu"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. ; ; ; ( , IEEE Conference on Decision and Control)
  2. ; ( , Conference on Robot Learning)
  3. ; ; ; ; ; ( , IEEE Transactions on Robotics)
    Free, publicly-accessible full text available December 1, 2024
  4. ; ; ; ; ( , International Joint Conference on Artificial Intelligence)
  5. ; ; ; ; ( , Robotics and Computer-Integrated Manufacturing)
    Free, publicly-accessible full text available August 1, 2024
  6. ; ; ( , Learning for Dynamics and Control Conference)
  7. ; ; ; ; ( , American Control Conference)
  8. ; ; ; ; ( , International Journal on Software Tools for Technology Transfer)
    This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP), held in 2020, 2021, and 2022. In the VNN-COMP, participants submit software tools that analyze whether given neural networks satisfy specifications describing their input-output behavior. These neural networks and specifications cover a variety of problem classes and tasks, corresponding to safety and robustness properties in image classification, neural control, reinforcement learning, and autonomous systems. We summarize the key processes, rules, and results, present trends observed over the last three years, and provide an outlook into possible future developments. 
    more » « less
    Free, publicly-accessible full text available May 30, 2024
  9. ; ; ( , 6th Annual Conference on Robot Learning)
    Accepted Manuscript Full Text Available
  10. ; ; ; ( , IEEE Control Systems Letters)
    Full Text Available